Propiedad matemática que determina que una operación con un elemento y su inverso dará como resultado el elemento neutro.